liste des élèves titulaires de l'Ecole nationale supérieure des mines de Paris